$\forall$$p$:FinProbSpace, $S$:(($\mathbb{N}\rightarrow$Outcome)$\rightarrow\mathbb{P}$). nullset($p$;$S$) $\in$ $\mathbb{P}$